MYCROFT, ALAN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A polymorphic type system for prolog

Alan Mycroft, Richard A. O'Keefe

Journal:

Artificial Intelligence

Year:

1984

Language:

english

File:

PDF, 636 KB

english, 1984

2

[IEEE 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS) - Amherst, MA, USA (2015.10.12-2015.10.14)] 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS) - REPAIR: Hard-error recovery via re-execution

Soman, Jyothish, Miralaei, Negar, Mycroft, Alan, Jones, Timothy M.

Year:

2015

Language:

english

File:

PDF, 718 KB

english, 2015

3

Redux: A Dynamic Dataflow Tracer

Nicholas Nethercote, Alan Mycroft

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

File:

PDF, 1.25 MB

2003

4

[Lecture Notes in Computer Science] Compiler Construction Volume 3923 || Register Allocation for Programs in SSA-Form

Mycroft, Alan, Zeller, Andreas

Year:

2006

Language:

english

File:

PDF, 430 KB

english, 2006

5

[ACM Press the 1st Workshop - Uppsala, Sweden (2014.07.28-2014.08.01)] Proceedings of the 1st Workshop on Programming Language Evolution - PLE '14 - Programming language evolution workshop report

Urma, Raoul-Gabriel, Orchard, Dominic, Mycroft, Alan

Year:

2014

Language:

english

File:

PDF, 134 KB

english, 2014

6

[ACM Press the nineteenth annual ACM symposium - San Diego, California, USA (2007.06.09-2007.06.11)] Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures - SPAA '07 - Optimal bit-reversal using vector permutations

Lokhmotov, Anton, Mycroft, Alan

Year:

2007

Language:

english

File:

PDF, 121 KB

english, 2007

7

[ACM Press the 4th ACM symposium - Tokyo, Japan (2011.09.22-2011.09.22)] Proceedings of the 4th ACM symposium on Haskell - Haskell '11 - Extending monads with pattern matching

Petricek, Tomas, Mycroft, Alan, Syme, Don

Year:

2011

Language:

english

File:

PDF, 632 KB

english, 2011

8

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Polymorphism, subtyping, and type inference in MLsub

Dolan, Stephen, Mycroft, Alan

Year:

2017

Language:

english

File:

PDF, 442 KB

english, 2017

9

Controlling Control Flow in Web Applications

Robin Message, Alan Mycroft

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 235 KB

english, 2008

10

Abstract interpretation of combinational asynchronous circuits

Sarah Thompson, Alan Mycroft

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 867 KB

english, 2007

11

Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems

Eleftheria Katsiri, Alan Mycroft

Journal:

Simulation Modelling Practice and Theory

Year:

2011

Language:

english

File:

PDF, 770 KB

english, 2011

12

Bidirectional data flow analysis for type inferencing

Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft

Journal:

Computer Languages, Systems & Structures

Year:

2003

Language:

english

File:

PDF, 456 KB

english, 2003

13

Higher-level techniques for hardware description and synthesis

Alan Mycroft, Richard Sharp

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 1.42 MB

english, 2003

14

LINKING TEMPORAL FIRST ORDER LOGIC AND HIDDEN MARKOV MODELS WITH ABSTRACT EVENTS

KATSIRI, ELEFTHERIA, BACON, JEAN, MYCROFT, ALAN

Journal:

International Journal of Artificial Intelligence Tools

Year:

2010

Language:

english

File:

PDF, 607 KB

english, 2010

15

[Lecture Notes in Computer Science] Compiler Construction Volume 3923 || Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers

Mycroft, Alan, Zeller, Andreas

Year:

2006

Language:

english

File:

PDF, 481 KB

english, 2006

16

Source-code queries with graph databases—with application to programming language usage and evolution

Urma, Raoul-Gabriel, Mycroft, Alan

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 459 KB

english, 2015

17

[ACM Press the Seventh International Workshop - Chicago, Illinois (2009.07.20-2009.07.20)] Proceedings of the Seventh International Workshop on Dynamic Analysis - WODA '09 - Limits of parallelism using dynamic dependency graphs

Mak, Jonathan, Mycroft, Alan

Year:

2009

Language:

english

File:

PDF, 391 KB

english, 2009

18

[IEEE 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Shenzhen, China (2012.04.11-2012.04.13)] 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Schedulability Analysis Abstractions for Safety Critical Java

Bogholm, Thomas, Thomsen, Bent, Larsen, Kim G., Mycroft, Alan

Year:

2012

Language:

english

File:

PDF, 229 KB

english, 2012

19

[ACM Press the twenty-first annual symposium - Calgary, AB, Canada (2009.08.11-2009.08.13)] Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA '09 - A lightweight in-place implementation for software thread-level speculation

Oancea, Cosmin E., Mycroft, Alan, Harris, Tim

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

20

[IEEE Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Adelaide, SA, Australia (2007.12.3-2007.12.6)] Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Choosing Method of the Most Effective Nested Loop Shearing for Parallelism

Iwasawa, Kyoko, Mycroft, Alan

Year:

2007

Language:

english

File:

PDF, 523 KB

english, 2007

21

[IEEE 2006 10th IEEE International Symposium on Wearable Computers - Montreux, Switzerland (2006.10.11-2006.10.14)] 2006 10th IEEE International Symposium on Wearable Computers - Applying Bayesian Networks to Sensor-Driven Systems

Katsiri, Eleftheria, Mycroft, Alan

Year:

2006

Language:

english

File:

PDF, 83 KB

english, 2006

22

[IEEE 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007) - Brasov, Romania (2007.09.15-2007.09.19)] 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007) - A Lightweight Model for Software Thread-Level Speculation (TLS)

Oancea, Cosmin E., Mycroft, Alan

Year:

2007

Language:

english

File:

PDF, 254 KB

english, 2007

23

[IEEE 2013 10th IEEE Working Conference on Mining Software Repositories (MSR 2013) - San Francisco, CA, USA (2013.05.18-2013.05.19)] 2013 10th Working Conference on Mining Software Repositories (MSR) - Rendezvous: A search engine for binary code

Khoo, Wei Ming, Mycroft, Alan, Anderson, Ross

Year:

2013

Language:

english

File:

PDF, 337 KB

english, 2013

24

[IEEE 2011 International Conference on Parallel Processing Workshops (ICPPW) - Taipei City, Taiwan (2011.09.13-2011.09.16)] 2011 40th International Conference on Parallel Processing Workshops - Critical-Path-Guided Interactive Parallelisation

Mak, Jonathan, Mycroft, Alan

Year:

2011

Language:

english

File:

PDF, 378 KB

english, 2011

25

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Jones optimality and hardware virtualization

Feigin, Boris, Mycroft, Alan

Year:

2008

Language:

english

File:

PDF, 209 KB

english, 2008

26

[ACM Press the ACM 4th annual workshop - Tucson, Arizona, USA (2012.10.21-2012.10.21)] Proceedings of the ACM 4th annual workshop on Evaluation and usability of programming languages and tools - PLATEAU '12 - Programming language evolution via source code query languages

Urma, Raoul-Gabriel, Mycroft, Alan

Year:

2012

Language:

english

File:

PDF, 395 KB

english, 2012

27

[ACM Press the 13th ACM SIGACT-SIGPLAN symposium - St. Petersburg Beach, Florida (1986.01.01-..)] Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86 - Data flow analysis of applicative programs using minimal function graphs

Jones, Neil D., Mycroft, Alan

Year:

1986

Language:

english

File:

PDF, 1.62 MB

english, 1986

28

On integration of programming paradigms

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 274 KB

english, 1996

29

[ACM Press the 2014 ACM International Symposium - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software - Onward! '14 - It's Only Illegal If You Get Caught

Proust, Raphaël, Mycroft, Alan

Year:

2014

Language:

english

File:

PDF, 752 KB

english, 2014

30

[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Completeness and predicate-based abstract interpretation

Year:

1993

Language:

english

File:

PDF, 781 KB

english, 1993

31

[ACM Press the 1st international workshop - Leipzig, Germany (2008.05.11-2008.05.11)] Proceedings of the 1st international workshop on Multicore software engineering - IWMSE '08 - Software thread-level speculation

Oancea, Cosmin E., Mycroft, Alan

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

32

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Coeffects

Petricek, Tomas, Orchard, Dominic, Mycroft, Alan

Year:

2014

Language:

english

File:

PDF, 810 KB

english, 2014

33

Untyped strictness analysis

Ernoult, Christine, Mycroft, Alan

Journal:

Journal of Functional Programming

Year:

1995

Language:

english

File:

PDF, 628 KB

english, 1995

34

[IEEE Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Adelaide, SA, Australia (2007.12.3-2007.12.6)] Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Choosing Method of the Most Effective Nested Loop Shearing for Parallelism

Iwasawa, Kyoko, Mycroft, Alan

Year:

2007

Language:

english

File:

PDF, 523 KB

english, 2007

35

SCAFOS: linking sensor data to context‐aware applications using abstract events

Mansoor, Wathiq, Katsiri, Eleftheria, Bacon, Jean, Mycroft, Alan

Journal:

International Journal of Pervasive Computing and Communications

Year:

2008

Language:

english

File:

PDF, 544 KB

english, 2008

36

Extending monads with pattern matching

Petricek, Tomas, Mycroft, Alan, Syme, Don

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 632 KB

english, 2012

37

[ACM Press the 5th ACM SIGPLAN workshop - Madrid, Spain (2010.01.19-2010.01.19)] Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming - DAMP '10 - Ypnos

Orchard, Dominic A., Bolingbroke, Max, Mycroft, Alan

Year:

2010

Language:

english

File:

PDF, 421 KB

english, 2010

38

Call-by-need effects via coeffects

McDermott, Dylan, Mycroft, Alan

Journal:

Open Computer Science

Language:

english

File:

PDF, 457 KB

english

39

An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations

Rodriguez-Prieto, Oscar, Mycroft, Alan, Ortin, Francisco

Journal:

Year:

2020

File:

PDF, 1.04 MB

2020